A Robot Operating System Framework for Secure UAV Communications
نویسندگان
چکیده
منابع مشابه
A Framework for a Provably Secure Operating System
In this report, we describe the work we have done towards creating a framework for a Provably Secure Operating System (according to the PSOS concept developed at Stanford Research Institute). We will first discuss the subject in general and then cover the tools we are using to develop the framework: the Minix operating system and the PVS theorem prover. In conclusion, we discuss the issues face...
متن کاملA Navigation System for Autonomous Robot Operating in Unknown and Dynamic Environment: Escaping Algorithm
In this study, the problem of navigation in dynamic and unknown environment is investigated and a navigation method based on force field approach is suggested. It is assumed that the robot performs navigation in...
متن کاملA New Framework for Secure Routing in VANET
Vehicular Ad-Hoc Networks can enhance road safety and enable drivers to avoid different threats. Safety applications, mobile commerce, and other information services are among different available services that are affected by dynamic topology, vehicle’s speed and node misbehaving. Dynamic topology makes the route unstable and unreliable. So, improving the throughput and performance of VANET thr...
متن کاملA Provably Secure Operating System
This report summarizes work to date toward the development of a provably secure operating system. Discussed here are • a methodology for the design, implementation, and proof of properties of large computing systems, • the design of a secure operating system using this methodology, • the security properties to be proven about this system, • considerations for implementing such a system, and • a...
متن کاملScout: a communications-oriented operating system
This white paper describes Scout, a new operating system being designed for systems connected to the National Information Infrastructure (NII). Scout provides a communication-oriented software architecture for building operating system code that is specialized for the different systems that we expect to be available on the NII. It includes an explicit path abstraction that both facilitates effe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Sensors
سال: 2021
ISSN: 1424-8220
DOI: 10.3390/s21041369